منابع مشابه
Sadra`s existential proof for reasoning the best creational system
This article has no abstract.
متن کاملProof Explanation and Revision
Proof structures in traditional automatic theorem proving systems are generally designed for efficiently supporting certain search strategies. They are not meant as a useful representation or presentation of complete proofs: usually only the experts who designed such systems can read them. As a result, complete proofs are of little value and are generally discarded. The failure of such systems ...
متن کاملAnalogy, explanation, and proof
People are habitual explanation generators. At its most mundane, our propensity to explain allows us to infer that we should not drink milk that smells sour; at the other extreme, it allows us to establish facts (e.g., theorems in mathematical logic) whose truth was not even known prior to the existence of the explanation (proof). What do the cognitive operations underlying the inference that t...
متن کاملBurdens and Standards of Proof for Inference to the Best Explanation
In this paper, we provide a formal logical account of the burden of proof and proof standards in legal reasoning. As opposed to the usual argument-based model we use a hybrid model for Inference to the Best Explanation, which uses stories or explanations as well as arguments. We use examples of real cases to show that our hybrid reasoning model allows for a natural modeling of burdens and stand...
متن کاملInference to the Best Explanation
Our initial survey of the problems of induction and explanation is now complete. We have considered some of the forms these problems take, some of the reasons they are so difficult to solve, and some of the weaknesses in various attempts to solve them. In the last chapter, I also attempted something more constructive, by giving what I hope is an improved version of the causal model of explanati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Law and Philosophy
سال: 2007
ISSN: 0167-5249,1573-0522
DOI: 10.1007/s10982-007-9016-4